Existence of Finite Bases for Quasi-equations of Unary
نویسندگان
چکیده
A finite unary algebra of finite type with a constant function 0 that is a one-element subalgebra, and whose operations have range {0, 1}, is called a {0, 1}-valued unary algebra with 0. Such an algebra has a finite basis for its quasi-equations if and only if the relation defined by the rows of the non-trivial functions in the clone form an order ideal.
منابع مشابه
Existence of finite bases for quasi-equations of unary algebras with 0
A finite unary algebra of finite type with a constant function 0 that is a one element subalgebra, and whose operations have range {0, 1} is called a {0, 1}-valued unary algebra with 0. Such an algebra has a finite basis for its quasi-equations if and only if the relation defined by the rows of the non-trivial functions in the clone form an order ideal.
متن کاملOn the existence of solution for a $k$-dimensional system of three points nabla fractional finite difference equations
In this paper, we investigate the existence of solution for a k-dimensional system of three points nabla fractional finite difference equations. Also, we present an example to illustrate our result.
متن کاملEquational Theories of Semigroups with Enriched Signature
We present sufficient conditions for a unary semigroup variety to have no finite basis for its equational theory. In particular, we exhibit a 6-element involutory semigroup which is inherently non-finitely based as a unary semigroup. As applications we get several naturally arising unary semigroups without finite identity bases, for example: the semigroup of all complex 2 × 2-matrices endowed w...
متن کاملFinite-Difference Time-Domain Simulation of Light Propagation in 2D Periodic and Quasi-Periodic Photonic Structures
Ultra-short pulse is a promising technology for achieving ultra-high data rate transmission which is required to follow the increased demand of data transport over an optical communication system. Therefore, the propagation of such type of pulses and the effects that it may suffer during its transmission through an optical waveguide has received a great deal of attention in the recent years. We...
متن کاملStability analysis of impulsive fuzzy differential equations with finite delayed state
In this paper we introduce some stability criteria for impulsive fuzzy system of differential equations with finite delay in states. Firstly, a new comparison principle for fuzzy differential system compared to crisp ordinary differential equation, based on a notion of upper quasi-monotone nondecreasing, in N dimentional state space is presented. Furthermore, in order to analyze the stability o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015